Nuprl Definition : lnk-inv
0,22
postcript
pdf
lnk-inv(
l
) == <1of(2of(
l
)),1of(
l
),2of(2of(
l
))>
latex
Definitions
<
a
,
b
>
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
lnk-inv
origin